- 双语例句 更多例句
1、
2、
So, this paper addresses how to define program semantics on dynamic data structures.
本文针对这种情况，研究了如何正确刻划动态数据结构的程序语义问题。
互联网摘选
3、
基于变量抽象，我们定义了部分最强后置条件，进而定义了程序的保守近似语义。
互联网摘选
4、
5、
部分最弱前置条件是程序保守近似语义的另一种表示方法，同样基于变量抽象定义。
互联网摘选
- 相关词组
- United Nations Development Program联合国开发计划署;
- united nations development program网络联合国开发计划署; 开发计划署; 联合国发展计划署; 联合国发展计划; 联合国开发计划处;
- executive development program主管发展计划;
- flexible benefits program弹性福利计划;
- jap-job analysis program工作分析程序法;
- uranium enrichment program铀浓缩计划;
- program directorn.节目部主任，计划主持人;
- TV programn.电视节目;
- problem program问题程序;
- tv programn.电视节目;
- pilot program试点计划;
- anti-virus program防毒程序;
- modularized program模块化程序;
- program musicn.标题音乐，描写音乐;
- attitude awareness and change program态度意识和改变计划;态度认知与改动计划
- drawing program放矿计划;
- World Food Program世界粮食计划署
- sustaining programn.<美>非营业性的独立节目;非商业节目;
- map programun.变换程序；分布图程序
- program behavior model程序功效模型;
- 今日热词
- 热门搜索
- innisfree n.悦诗风吟;【地名】【加拿大】因尼斯弗里
- iTunes n.苹果公司开发的与iPod搭配的在电脑上使用的音乐播放器和音乐管理器;
- argue vt.坚决主张;提出理由证明;说服，劝告;表明，证明;vi.争论;辩论;提出理由;争吵;争辩;论证;说理;证明;表明
- antique adj.古老的，古代的;过时的，古董的;古时制造的;古风的;n.古玩，古董;古风，古希腊和古罗马艺术风格;
- ground n.地面，土地;基础;范围;阵地，战场;vi.搁浅，停飞;着陆;
- till prep.到…时;直到…为止;n.收银机;钱柜;
- EGY abbr.Egypt 埃及;Egypt (whose capital is Cairo) 埃及（首都是开罗）;Egyptian 埃及的;埃及人（的）;
- charles n.查尔斯（男子名，涵义：强壮的，男性的，高贵心灵的）;
- PCS abbr.Producibility Cost Study 可生产性成本研究;program counter storage 程序计算内存;punched-card system 打孔卡片系统;
- escape v.逃离;拜托;幸免;被…忘记;逸出;不自觉发出（声音）;n.逃避;解脱;渗出;
- Yong [人名] [英格兰人姓氏] 扬 Young的变体;
- tick v.发出嘀嗒声;打钩号;做出…举动;n.钩号;蜱，壁虱;嘀嗒声;一会儿;赊账;
